Department of Computer Science, University of Oxford - PDFSEARCH.IO - Document Search Engine

Department of Computer Science, University of Oxford
Results: 170

#	Item
91	A generic evaluation of a categorical compositional-distributional model of meaning An MSc thesis proposal Jiannan Zhang Department of Computer Science University of Oxford Add to Reading List Source URL: www.jiannanweb.com Language: English - Date: 2014-04-27 05:57:57
92	Mixed quantum states in higher categories Linde Wester Department of Computer Science, University of Oxford (with Chris Heunen and Jamie Vicary) June 6, 2014 Add to Reading List Source URL: www-mmm.is.s.u-tokyo.ac.jp Language: English - Date: 2015-05-01 07:51:19
93	Information Security as a Resource Department of Computer Science, Oxford University, 13 – 15 October, 2011 http://www.cs.ox.ac.uk/isr11 Programme Talks are held in Room 051 on Thu and Fri, and Lecture Theatre B on Sat Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2011-10-16 13:15:56
94	Modularising Inductive Families Hsiang-Shang Ko and Jeremy Gibbons Department of Computer Science, University of Oxford March 21, 2013 Abstract Dependently typed programmers are encouraged to use inductive families to in Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-03-21 05:04:05
95	On Linear Recurrence Sequences and Loop Termination ¨ Ouaknine, Department of Computer Science, Oxford University, UK Joel James Worrell, Department of Computer Science, Oxford University, UK A sequence of real numbers Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-03-30 22:21:11
96	Decision Problems for Linear Recurrence Sequences Jo¨el Ouaknine and James Worrell Department of Computer Science, Oxford University, UK {joel,jbw}@cs.ox.ac.uk Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-07-26 21:58:35
97	On the Complexity of Path Checking in Temporal Logics Daniel Bundala Joël Ouaknine Department of Computer Science University of Oxford Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:07
98	The (Not So) Easy Task of Computing Class Subsumptions in OWL RL? Technical Report Markus Krötzsch Department of Computer Science, University of Oxford, UK, Add to Reading List Source URL: korrekt.org Language: English - Date: 2012-11-13 16:37:49
99	Tabula Rasa: Model Transfer for Object Category Detection Yusuf Aytar Andrew Zisserman Department of Engineering Science University of Oxford {yusuf,az}@robots.ox.ac.uk Add to Reading List Source URL: www.robots.ox.ac.uk Language: English - Date: 2011-08-18 18:19:28 Statistical classification Computer vision Support vector machine Learning Histogram of oriented gradients Silicon Valley Microelectronics One-shot learning Stochastic gradient descent Hinge loss Machine learning Statistics Artificial intelligence
100	ShareAlike Your Data: Self-Referential Usage Policies for the Semantic Web Markus Kr¨otzsch1 and Sebastian Speiser2 1 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: korrekt.org Language: English - Date: 2012-03-20 09:42:10